1. Algorithmics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms. ;
2. Algorithmics :
المؤلف: David Harel, with Yishai Feldman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
3. Algorithmics :
المؤلف: David Harel, with Yishai Feldman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms
رده :
QA76
.
9
.
A43
H37
2004
4. Algorithmics
المؤلف: / David Harel, with Yishai Feldman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer algorithms.
رده :
QA
,
76
.
9
,.
A43
,
H37
,
2004
5. Algorithmics : the spirit of computing
المؤلف: David Harel with the technical assistance of Roni Rosner on the exerci
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer algorithms
رده :
QA
،
76
،.
H2833
،
1987
6. Algorithmics : the spirit of computing
پدیدآورنده : Harel, David, 0591-
موضوع : ، Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Algorithmics : the spirit of computing
المؤلف: Harel, David, 0591 -
المکتبة: (طهران)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43
H37
1992
8. Algorithmics:the spirit of computing
المؤلف: HAREL,DAVID
المکتبة: (طهران)
موضوع: ELECTRONIC DATA PROCESSING , ALGORITHMS
رده :
QA
76
.
H2833
9. Algorithmics: the spirit of computing
المؤلف: Harel, David
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1987
10. Algorithmik
المؤلف: David Harel ; Yishai Feldman. Übers. von Micaela Krieger-Hauwede
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithmische Programmiersprache,Algorithmische Programmierung,Algorithmus,Algorithmus, 0 Gesamtdarstellung.,Algorithmus.,Berechenbarkeit,Beweis,Effizienter Algorithmus,Komplexitätstheorie,Korrektheit,Programmiersprache,Programmierung,Programmierung.,Programmverifikation,Softwareentwicklung
11. Analytic methods in systems and software testing /
المؤلف: edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
A52
2018eb
12. Atlas of emergency neurosurgery /
المؤلف: [edited by] Jamie Ullman, P.B. Raksin ; medical illustrator, Jennifer Pryll.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Nervous system-- Surgery, Atlases.,Surgical emergencies, Atlases.,Central Nervous System Diseases-- surgery.,Central Nervous System-- surgery.,Craniocerebral Trauma-- surgery.,Emergencies.,Neurosurgical Procedures-- methods.,Spinal Cord Injuries-- surgery.,Spinal Injuries-- surgery.,Nervous system-- Surgery.,Surgical emergencies.
رده :
RD593
13. Comparative judicial review /
المؤلف: edited by Erin F. Delaney and Rosalind Dixon.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constitutional law.,Judicial review.,Constitutional law.,Judicial review.,LAW-- Civil Procedure.,LAW-- Legal Services.,POLITICAL SCIENCE-- Government-- Judicial Branch.
رده :
K3175
14. Computer-assisted drug design :
المؤلف: Edward C. Olson, editor, Ralph E. Christoffersen, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Drugs-- Structure-activity relationships-- Data processing, Congresses.,Pharmaceutical chemistry-- Data processing, Congresses.,Chemistry, Pharmaceutical.,Computers.,Models, Structural.,Structure-Activity Relationship.
رده :
RS401
.
S95
1979
15. Dynamic logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic. ;
16. Dynamic logic
المؤلف: / David Harel, Dexter Kozen, Jerzy Tiuryn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
17. Dynamic logic
المؤلف: /David Harel; Dexter Kozen; Jerzy Tiuryn
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
18. Engineering Theories of Software Intensive System
المؤلف: / [electronic resource]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
19. First-Order Dynamic Logic
المؤلف: edited by David Harel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer Science, general,Computer science.
20. First-order dynamic logic
المؤلف: Harel, David
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
